Enviar por SMS: A precis of mathematical logic