 So the problem of the alleged incompatibility of infallible foreknowledge and free will is a special case of a more general problem about time and necessity. It was suggested in section  2.6  that the problem may be (a) above. There is no temporally asymmetrical necessity. But regardless of what one thinks of fatalist arguments, the general problem in the logic of time and causation needs to be addressed. Both the alleged modal asymmetry of time and the causal asymmetry should be examined in more detail.