Text this: Logic deductive and inductive