don't import EquivDec