Text this: Foundations of geometry and induction :