A unique, systematic and comprehensive introduction to rippling and to the wider subject of automated inductive theorem proving.