Situation: The main building at MIT is known as building 7