Molinists believe that God has knowledge not only of necessary truths and contingent truths, but also of counterfactuals. (God's knowledge of counterfactuals is often referred to as his "middle knowledge", although technically that term is more broad than simply the knowledge of counterfactuals.) A counterfactual is a statement of the form "if it were the case that P, it would be the case that Q". An example would be, "If Bob were in Tahiti he would freely choose to go swimming instead of sunbathing." The Molinist claims that even if Bob is never in Tahiti, God can still know whether Bob would go swimming or sunbathing. The Molinist believes that God, using his middle knowledge and foreknowledge, surveyed all possible worlds and then actualized a particular one. God's middle knowledge of counterfactuals would play an integral part in this "choosing" of a particular world.