But we can operate on all of them at the same time, this entire inequality. So what we want to do is multiply this entire inequality by this value right over here. And we just calculated that that value, let me write it over here, that 2.98, I'll write it over here, 2.98 over the square root of 10 is equal to 0.942. So if I multiply this entire inequality by 0.942, I get, on this left-hand side over here, I have negative 2.262 times 0.942. And it's a positive number that we're multiplying the whole inequality by, so the inequality signs are still going to be in the same direction, is less than, well, we're multiplying this whole expression by the same expression in the denominator, so it'll cancel out. So we're just going to be less than 17.17 minus our population mean, which is going to be less than 2.262 times, once again, 0.942. Let me scroll over to the right a little bit.