Inductive Deductive Math