Empirical unsubstantiation ≠ actual reduction; absence of proof for irreducibility doesn't prove red...
This proposition has not been edited since the history system was added.