Zaslat SMS: Professional Correctness