SMS: A text-book of logic,