Definition of Carmen