Envoyer par SMS: Cambridge summer school in mathematical logic