Inductive arguments (C Birkenkrahe)