SMS dit: Logic and Proof Techniques /