←
the unreachable barrier between I and not-I
