The vagueness reflected genuine mathematical uncertainty about which reductions capture 'no harder t...
This proposition has not been edited since the history system was added.