Free will and the modal principle