Enviar por SMS: Lógica simbólica para informáticos