A calculus of the absurd

11.3 Integration by substitution