~<<1>>p U~<<2>>q U r