integration with substitution