Carmen is a favorite opera of some.