SMS dit: Logic for mathematicians