Enviar por SMS: Elementary formal logic/