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