What's in a campus?

Sir, – The etymology of the word “campus’” dates to the 18th century and was first used in Princeton, New Jersey, in the sense…