Introduction to Doctrine : free will and predestination