Enviar por SMS: Non-axiomatic logic