ah, but simplify is still an equivalence