Text this: Definition and induction :