Text this: Foundations of geometry & induction :