Source: https://www.metopera.org/globalassets/user-information/nightly-opera-streams/week-38/playbills/jan-16-carmen.pdf