Induction and Example by C T Johnson