(p /\ q) /\ <<1>>G ~(p /\ q)