Calling diagonalization a 'component' of a hybrid proof risks shifting burden: we'd need new techniq...
This proposition has not been edited since the history system was added.