Enviar por SMS: Annals of Pure and Applied Logic