Text this: Automated Mathematical Induction /