Intuitionistic Proof Versus Classical Truth | lit.salon