SMS: Proofs and refutations/