Apparently, the Sheldonian’s top bit isn’t always open. So I was lucky.

Pretty buildings are pretty.