SMS: Tests and proofs :