fixed problems with equiv