Zaslat SMS: Formalismus