The necessity of the past follows validly from the logical structure that if God knew p at t1, then ...
This proposition has not been edited since the history system was added.