Thoroughly document judge.py