Knuth_reward_check loading ...