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