I mean, I like puns but they're a flash in the pan. Jokes get old after a while and you don't want to embed them in something fairly permanent like a building name.

"Hoare House" would trigger millions of idiots, from rude little children to pontifying alpha ideologues. In perpetuity.

The University was correct in saying "nope" to the endless distractions, misery, and overhead of having to deal with that.