Enviar por SMS: Cambridge summer school in mathematical logic