Divine foreknowledge and human freedom by Craig