23. Integrating with substitution