Maximality might constitute a single, unified property rather than infinite independent ones, reduci...
This proposition has not been edited since the history system was added.