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