The definition of Knecht