SMS dit: Introduction to Logic/