Self-contained inference requires the system to justify all completeness-enabling resources internal...
This proposition has not been edited since the history system was added.