And then in integral calculus, you have the idea of an integral. Before this proof, all we viewed an integral as is the area under the curve. It was just literally a notation to say the area under the curve. But now we've been able to make a connection, that there's a connection between the integral and the derivative, or a connection between the integral and the antiderivative in particular. So it connects all of calculus together in a very, very, very powerful. And we're so used to it now. And now we can say almost a somewhat obvious way.