Problem of divine foreknowledge etc by Craig