(<<1>> G p) /\ p