LHS=RHS