Text this: Expressing induction in deductive form /