Self-instantiation without a separate following-relation avoids the regress but requires rejecting t...
This proposition has not been edited since the history system was added.