Improve weakEquiv