SMS dit: Proof and other dilemmas