~<<1>>G p /\ <<1,2>>X p /\ ~<<2>>X ~p