result.Judge.AuxiliaryUtility declaration.