It's actually flip. You can just rewrite this inequality the other way. So now we can write. Well, actually, let's just figure out what these values are. So we have 2.13 plus 17.17. So that is the high end of our range. So that is 19.3.