SMS: Introduction to Logical Theory