Explicit temporal quantification in propositions (e.g., 'at t1: snow is white') makes time an object...
This proposition has not been edited since the history system was added.