Requiring fixed signatures artificially constrains modal logic; real hierarchies may require signatu...
This proposition has not been edited since the history system was added.