induction: some remarks