Formal redundancy (derivability) doesn't entail explanatory or normative redundancy—evidential genea...
This proposition has not been edited since the history system was added.