In the opera house