Envoyer par SMS: Notes on logic and set theory /