SMS: Deductive logic/