Untested judging code.