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