- God timelessly believes K and is infallible.
- Nobody now can do anything about the fact that God timelessly believes K and is infallible.
- Nobody can do anything about the fact that if God timelessly believes K and is infallible, then A will kill B on Saturday (what is next Saturday to us).
- So nobody now can do anything about the fact that A will kill B on Saturday (what is next Saturday to us).
- So A will not kill B freely.
From Linda Zagzebski, Philosophy of Religion, quoted in W. Jay Wood, God, 2011.