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