Fix Equality of Implies. Disambiguate other's hashCode a bit.