Distinguishing expressive limits from non-existence requires independent criteria for existence outs...
This proposition has not been edited since the history system was added.