Definition of JUDEX.