Definition of "Karl"