And that's kind of what this notation is trying to depict. But we know how to do this already. The second fundamental theorem of calculus helps us. We just have to figure out what the antiderivative of cosine of x is or what an antiderivative of cosine of x is evaluated at pi over 2. And from that, subtract it evaluated at 0. So what's the antiderivative of cosine of x? Or what's an antiderivative?