If God atemporally knows that agent S will do A, then S cannot do otherwise, regardless of whether '...