And then finally, you have negative 1 times 5. Well, this is going to be negative 5. And we are in the home stretch. We really just have to do a little bit of arithmetic, add some hairy fractions right over here. So let's do it. So this whole thing is going to simplify to pi times. And it looks like, let's see, our least common multiple of all of these denominators is going to be 6.