What is Knux's problem