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