Definition of Karl