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