Why do we need `rhs` here?