<<1,2>>p U q /\ <<1,2>>X r