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.