"of the Gotham City opera company."