The parameters need to be named as they are referenced in paragraph 2. Proposed change: Name them lhs and rhs.