„tough induction" nicht gefunden