SMS: Logic deductive and inductive