8.04 - Antidifferentiation by Substitution with Bounds