(<<1>> G p) /\ ( ~ <<2>> F <<1>> G p)