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".