Zaslat SMS: Proof and other dilemmas