The argument conflates what weak compactness entails directly with what consistency strength is need...
This proposition has not been edited since the history system was added.