Inference relations can be defeated by what is structurally absent, not just by positive counter-ins...
This proposition has not been edited since the history system was added.