Don Carlos and Candide, are operas?