Text this: Elementary induction on abstract structures