The answer instead of being 3.14, whatever, is just the letter pi, right? Right. Like here, you gave me a formula. Here's the actual symbolic solution to it as a number, right? Yeah, pretty cool. So you did, I believe you used that in some of your simulations, or some of your models, right? There were a couple of examples where we did both. We would do the numerical solver, and then the symbolic computation, and then compare them.