SMS dit: Proofs and refutations/