Actually, the bug here might lie in how `lhs` and `rhs` are selected.