This is how I imagined MIT with it’s Greco-Roman columns and domed interior. This room is building 7–not building 10 dome, which was originally conceived as the main entry. I spent some effort to get to what would be the interior dome of building 10, but couldn’t find the path from the main hallway. I had always thought that dome pranks more or less occurred in building 10–but the main lobby and perhaps some of the pictures I have seen may in actuality be building 7.