BGS demonstrates limitations of one proof paradigm, not that all structural reasoning about complexi...
This proposition has not been edited since the history system was added.