Refactoring induction