The claim conflates the inability to describe *all* types from within a single level with inability ...
This proposition has not been edited since the history system was added.