One of the things that might happen while going to the opera is the chance to hear Don Carlos.