Both values ```rhs[0]``` and ```rhs[1]``` should be in the interval ```(l, u)```. I think this is not covered by the suggestion above.