Text this: Induction in Algebra: a First Case Study