Definition of JUDGE.