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