Email Record: Expressing induction in deductive form /