Biblical and Arninan views on free will