SMS dit: Classical mathematical logic