SMS: Introduction to Logic /