 The non-normative premise, [P2], seems to extend to all necessary truths if the explanation of reliability mentioned in [P1] requires any sort of counterfactual sustaining relation between the truth makers of the propositions in question and our psychological states. The failure of explanation here is intimately linked to the intuitive deviance of counterfactuals featuring in their antecedents the negations of necessary propositions. The standard semantics treats them as uniformly and vacuously true and so there is little informative sense to be made of the notion that were some proposition we take to be (necessarily) true to be false we would believe (or intuit) otherwise than we do. As it is implausible that all our beliefs in non-contingent matters are unjustified, this cuts against [P1] if it is taken to require a counterfactual supporting kind of explanation.