cojudge

not defined yet