SMS dit: The Elements of logic/