SMS: Introduction to logical theory