  (ii) It is assumed that, if truth = F, then S knows that x is true, only if S knows that x has F. This is highly implausible. By the same standard it would follow that no one who does not know that water is H2O can know that the Nile contains water—which would mean, of course, that until fairly recently nobody knew that the Nile contained water (and that, until fairly recently, nobody knew that there were stars in the sky, whales in the sea, or that the sun gives light). Moreover, even if one does know that water is H2O, one’s strategy for finding out whether the liquid in one’s glass is water does not have to involve chemical analysis: one could simply taste it, or ask a reliable informant. Similarly, as far as knowing that x is true is concerned, the correspondence theory does not entail that we have to know that a belief corresponds to a fact in order to know that it is true, or that our method of finding out whether a belief is true has to involve a strategy of actually comparing a belief with a fact—although the theory does of course entail that one obtains knowledge only if one obtains a belief that corresponds to a fact.