divine knowledge and human choice