Zaslat SMS: Tests and proofs :