Enviar por SMS: Functional semantics