'If they are propositions of eternal truth, which are such by their nature and not by God's institution, if they are not true by a free decree of his will, but if on the contrary he has recognized them as true of necessity, because such was their nature, there is a kind of fatum to which he is subjected; there is an absolutely insurmountable natural necessity.