Intuitionistic Proof Versus Classical Truth