According to Kenneth Keathley, author of "Salvation and Sovereignty: A Molinist Approach," Molinists argue that God perfectly accomplishes his will in the lives of genuinely free creatures through the use of his omniscience. Molinists, following Luis de Molina himself, present God's knowledge in a sequence of three logical moments. The first is God's knowledge of necessary truths or natural knowledge. These truths are independent of God's will and are non-contingent. This knowledge includes the full range of logical possibilities. Examples include such statements as "All bachelors are unmarried" or "X cannot be A and non-A at the same time, in the same way, at the same place" or "It is possible that X obtain." The second is called "middle knowledge" and it contains the range of possible things that would happen given certain circumstances. The third kind of knowledge is God's free knowledge. This type of knowledge consists of contingent truths that are dependent upon God's will, or truths that God brings about, that he does not have to bring about. Examples might include statements such as "God created the earth" or something particular about this world which God has actualized. This is called God's "free knowledge" and it contains the future or what will happen. In between God's natural and free knowledge is his middle knowledge (or "scientia media") by which God knows what his free creatures would do under any circumstance. These are "truths" that do not have to be true, but are true without God being the primary cause of them. In "The Internet Encyclopedia of Philosophy", John D. Laing has provided an example of middle knowledge: "If John Laing were given the opportunity to write an article on middle knowledge for the Internet Encyclopedia of Philosophy, he would freely do so." This viewpoint is difficult for some to grasp but is the basis of Molinist opinion.