 If He knew a from eternity, I pose that “a will be” was written on a wall yesterday. Therefore, the proposition “that written on the wall was true” is true, and . . . consequently necessary because it is a true proposition about the past. Therefore, it is necessary that it be the case as the proposition denotes, i. e., it is necessary that Socrates sin. (Sent. II, q. 2, in Seeing the Future, 126, ll. 307–317)