lhs should be on the left