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