Text this: Geometry and induction :