The Equivalence Modernizer

Summary

Legacy rewrites sold as differential proof, with "unproven" reported honestly.