Zaslat SMS: Functional semantics