The claim assumes 'finer hierarchy' creates barriers, but doesn't prove m-completeness fails to tran...
This proposition has not been edited since the history system was added.