Invia SMS: Functional semantics /