<<1>>(~<<1,2>>G p) U q