8.02 Antidifferentiation by Substitution (with and without bounds)