SMS: Studying deductive logic/