Cross-level non-bisimilarity via signature-shifting doesn't reveal structural differences; it merely...
This proposition has not been edited since the history system was added.