Induction Declaration