An enquiry into the doctrines of necessity and predestination