lhs, rhs do not seem to be clear names