rhs

IsEquiv