Inductive arguments