No principled method exists to cleanly partition which failures belong to core theory versus auxilia...
This proposition has not been edited since the history system was added.