8.03 - Antidifferentiation by Substitution with Bound