Integration by substitution (#75)