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