 In theory of adjudication, by contrast, the Normative Naturalist wants to identify norms for adjudication that will help judges realize adjudicative goals. Such norms must, once again, satisfy two naturalistic constraints: first, they must, as a matter of empirical fact, be effective means to goals (“the Instrumental Constraint”); second, they must be constrained by relevant empirical facts about the nature and limitations of judges (“the Ought-Implies-Can Constraint”) (Leiter 1998).