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