induction and trivial changes