where are they??

I look for the the theatre department; I find a sign pointing in the direction of the theatre building on campus; I figure out that the building was demolished years ago and replaced by a dormitory; I figure out that the building was demolished years ago and replaced by a dormitory