 As Lehrer and others have pointed out, it is far from clear that this concept of infallible belief has much relevance to an attempt to understand the epistemic concept of foundational justification. The first and most striking problem involves necessary truths. Every necessary truth is entailed by every proposition, and thus if I happen to believe a necessary truth, P, that I believe P will entail that P is true. Thus, by the above definition my belief that P will be infallible--and so, on the present account, foundationally justified--whenever P is a necessary truth even if P is something exceedingly complicated that I can barely even comprehend.