Definition of Judex Ordinarius