The circularity claim is justified because Replacement and Choice together suffice to derive Limitat...
This proposition has not been edited since the history system was added.