Integral as Antiderivative