And then we still have our inequalities is going to be less than 17.17 minus the mean, which is less than 2.13. Now what I want to do is I actually want to solve for this mean. And I don't like that negative sign in the mean. I'd rather have this swapped around. I'd rather have the mean minus 17.17. So what I'm going to do is multiply this entire inequality by negative 1. If you do that, if you multiply the entire thing times negative 1, this quantity right here, this negative 2.13 will become a positive 2.13.