The claim conflates the *structure* of rules with the *reasoning process*; we apply defaults, but up...
This proposition has not been edited since the history system was added.