p(1).
-p(1).