Today:
It says that to integrate, all you have to do is think of an antiderivative F of the integrand f.