An indoor choir is singing on the stage.