a theater hall is for the opera