Naming is like pointing. A function is like a line dividing points of a plane into right and left ones; then p or not-p has no meaning because it does not divide a || the plane.