Enviar por SMS: Logic for mathematicians