Mirecourt reasoned that there are two kinds of certain knowledge: (1) 'the principle of non-contradiction,' and (2) 'the immediate intuition of one's existence'. The most undoubtedly of all things that can be known fall to this first kind of knowledge, as well as all analytic judgements that are reducible to it. Mirecourt distinguishes between two kinds of evidence of these kinds of knowledge: (1) special and (2) natural. Special evidence comes from the principle of non-contradiction, and natural evidence is that which is gained empirically. Mirecourt thought natural evidence to be weaker than special evidence because he understood God to be both absolutely powerful and the producer of miracles (as taken to be some occurrence outside of what is otherwise empirically observable).