~<<1>>X p /\<<2>>X ~p