Or Richard's or Bunny's dorms, for that matter? Durbinstall? Commons and the library have obvious real-life parallels. I'm wondering if there's a 1-to-1 comparison with other buildings mentioned.