SMS dit: Logic deductive and inductive