The phantom of the opera is an opera.