And this positive 2.13 will become a negative 2.13. And we're almost there. We just want to solve for mu, have this inequality expressed in terms of mu. So what we can do is now just add 17.17 to all three sides of this inequality. And we are left with 2.13 plus 17.17 is greater than mu minus 17.17 plus 17.17 is just going to be mu, which is greater than. So this is greater than mu, which is greater than negative 2.13 plus 17.17. Or a more natural way to write it, since we actually have a bunch of greater than signs, that this is actually the largest number.