We have had no good comic operas of late, because the real world has been more comic than any possible opera.