Numerical equivalence

Summary