 It may be that classical foundationalists start off on the wrong foot if they seek foundations in logical relations between the mere fact that someone believes some proposition and the proposition’s being true. Foundational justification is, after all, a kind of justification, and if the impossibility of error is essential to foundational justification, it may be more plausible to locate the source of infallibility in a special kind of justification available in support of a belief. Let us say that S’s belief is infallibly justified at t when S’s ground or justification for believing P at t entails the truth of P—in other words, when S cannot have that ground or justification for believing that P while P is false. The suggestion, then, is that a belief is foundationally justified only if it is infallibly justified in this sense.