I was coming out of CMS this evening and was struck, not for the first time, how terrific it looks in twilight or at night. In daylight, the buildings look relatively sober, though very handsomely done. But later it can look almost magical.
(I bumped into Thomas Forster there, and the plans for a serious model theory reading group for philosophers/mathmos/compscis next term indeed look to be a runner. Excellent news.)