:- p.
q.
p.