Lecture #8: Antiderivatives and indefinite integrals