Theory of Judging ProgramTheory of Judging Program