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