 Reflexivity merely expresses the truism that one is entitled to infer \(\alpha\) from itself. The next two principles govern how a non-monotonic consequence relation should interact with deductive consequence. Left Logical Equivalence says that if \(\alpha\) and \(\beta\) are classically equivalent, then they license the exact same defeasible inferences. Right Weakening says that if \(\alpha\) defeasibly licenses \(\beta\), then it also licenses all the deductive consequences of \(\beta\). Together, these principles say that defeasible reasoning encompasses all of deductive reasoning. This sounds unreasonable if we think of \(\dproves\) as modeling the defeasible reasoning of a bounded agent. It begins to sound better if we think of \(\dproves\) as modeling the ampliative conclusions that are justified on the basis of some “hard” evidence.