p :- -p.