 According to Molina, the first kind of knowledge that God possesses is called natural knowledge. A true proposition is part of God’s natural knowledge if and only if it is a necessary truth (a truth which could not be false under any circumstances whatever) which is beyond God’s control (nobody, including God, could make them false). Examples of such true propositions would include “2 + 2 = 4”, “Nothing is both red all over and green all over at once”, and “Every triangle has three sides.”