God sovereign and man free, or, The doctrine of divine foreordination and man's free agency