Used names in sync with judge.