John Marenbon joins Peter to discuss Boethius' solution to the problem of divine foreknowledge.