SMS dit: Fundamentals of logic/