The doctrine of foreknowledge does not imply the truth of
foreordination. Foreordination is a cause antedating an event.
Foreknowledge is an effect, not of something that is going to occur,
which would be absurd, but the effect of its being going to occur.