Definition of Carl