Many-sorted logic requires sort-preservation in models; collapsing sorts creates non-isomorphic inte...
This proposition has not been edited since the history system was added.