The doctrines of predestination and assurance examined, with a short view of the Pelagian controversy