SMS dit: Elements of symbolic logic