In God, Time, and Knowledge, William Hasker presents a powerful argument against “theological compatibilism,” which, in this context, refers to the view that divine foreknowledge is compatible with libertarian free will. In this paper I show that Hasker’s views on free will, as expressed in God, Time, and Knowledge, are inconsistent with his own account of hard facts. I then consider four ways to remove the inconsistency and argue that the first two are untenable for the libertarian, while the remaining (...) two leave the theological compatibilist in a good position to respond to the dilemma of freedom and foreknowledge. Along the way, I attempt to defuse Hasker’s argument that Anselmian eternalism is “fatal to libertarian free will.”. (shrink)