Secant squared of pi over 4. Let me write those colors in to show you that I'm putting these values in. Secant squared of pi over 4 times d theta dt. Well, that is just 0.2. So times 0.2. And then this is going to be equal to 1 over 500. And we want to make sure, since this is in radians per minute, we're going to get meters per minute.