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