Antiderivatives and definite integrals