SMS dit: Fundamentals of symbolic logic/