Pošalji SMS: Formalismus