Weak Induction And Strong Induction