SMS dit: Beweise und Programme