The claim conflates technical proof presentation with actual soundness; CBF may be provable for open...
This proposition has not been edited since the history system was added.