Definite Integration and Antiderivatives