Use DO to fix equivalence