SMS versenden: Cambridge summer school in mathematical logic