Text this: Inductive calculus /