The subject of the last section furnishes a striking illustration of the justness of this remark. From the proposition that a volition is certainly and infallibly foreknown, it follows, by a necessity of consequence, that it will come to pass. This is an instance of the necessary connexion between two ideas or propositions; between the idea or proposition, that a certain volition is foreknown, and the idea that it will come to pass; between the proposition which affirms that, it is foreknown, and the idea that it will come to pass in other words, the proposition which affirms that it is foreknown, necessarily assumes that it will come to pass; and to deny this assumption, at the same time that we make it, is surely to be guilty of a contradiction in terms. To suppose that a volition will not come to pass, is inconsistent with the proposition that it is certainly and infallibly foreknown. Edwards himself has frequently declared that this is the kind of necessity which is inferred from foreknowledge. In truth, the necessary connexion which exists between the idea that a thing is foreknown, and the truth of the proposition which predicates future existence of it, is perfectly distinct from the necessary connexion between cause and effect. They are as widely different, as the connexion between any two propositions in Euclid is from the connexion between the motion of a ball and the force by which it is put in motion. Hence, the kind of necessity which is involved in the idea of foreknowledge, has nothing to do with the controversy about acts of the will.