 A third candidate for being a contingent proposition that is knowable a priori is offered by Gareth Evans. He thinks that we can be a priori justified in believing, and know, propositions of the form, “If actually p, then p”, and particular instantiations of that form. Consider, “if any post is actually red, then it is red”. This proposition is contingent because the post could be red in the actual world but not red in some other possible world. So in some other possible world, \(w_2\), its antecedent can be true (because its antecedent is about the color of the post in the actual world, \(w_1\)) and it’s consequent false (because the post is not red in \(w_2\) and the consequent is about the color of the post in that world). A conditional that is necessarily true cannot have a true antecedent and a false consequent in any possible world. However, we can know independently of experience (that is, a priori) that if the post is actually red, then it’s red since it is true in the actual world (cf., Evans 1979: 83–85, for his discussion of this topic).