Envoyer par SMS: New Methods in symbolic logic/