Rewrote induction