Induction is all grown up:

The secrete life of free algebra

James B. Wilson, Colorado State University