Definitions Index irr-jud