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. But since we are multiplying an inequality by a negative number, you have to swap the inequality sign. So this less than will become a greater than. This negative mu will become a positive mu.