q.
p :- q, not r.