Add algebra10/equivalence