SMS: Elementary formal logic/