Explicit quantification over times presupposes we can represent all temporal information proposition...
This proposition has not been edited since the history system was added.