Clean equiv(), remove weakEquiv.