~<<1>>X r /\ <<1>>X p /\ <<2>>X q /\ ~<<3>>X q /\ <<1,2>>X r