Some more definition in Induction