And whatever we may think of deductive closure in general, surely there is something counterintuitive, almost silly, about the idea that although the subject does not know some proposition, he does know that he correctly believes it!