SMS dit: Introduction to Logic /