<<1>>p U q /\ <<2>>q U r /\ <<2>>G ~r