 The second kind of knowledge that God possesses is called free knowledge because it is subject to God’s free decision. According to Molina, a true proposition is part of God’s free knowledge if and only if it is a contingent truth (an actual truth which could have been false under different circumstances) that is within God’s control. Examples of such true propositions would include “The same side of the moon always faces the Earth”, “Human beings exist” and “There are iguanas in South America”, since God could have brought it about that these true propositions were false instead.