Non-bisimilarity under signature variance can reveal which properties are level-specific rather than...
This proposition has not been edited since the history system was added.