Bisimilarity's formal definition requires fixed signature; signature variance makes comparisons equi...
This proposition has not been edited since the history system was added.