Envoyer par SMS: The logic of provability