functionally equivalent, but less confusing: use `newRhs.pos` instead of `rhs0.pos`?