If God's knowledge at T1 is about a genuine fact, that fact must obtain; otherwise God wouldn't know...
This proposition has not been edited since the history system was added.