inverses and integration by substitution