The word 'only' reasonably flags that weak completeness omits finite consistency preservation, a phi...
This proposition has not been edited since the history system was added.