The relational property 'died at time T' is permanently fixed once established, even if our knowledg...
This proposition has not been edited since the history system was added.