Pedagogically, distinguishing weak from strong completeness clarifies what's proven, even if weak is...
This proposition has not been edited since the history system was added.