Philosophically substantive claims should survive signature variation; trivial results block theoret...
This proposition has not been edited since the history system was added.