God's past belief that 'Jones will freely choose X' can be true without constraining Jones, since th...
This proposition has not been edited since the history system was added.