Text this: Automated mathematical induction /