Four views on free will