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