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