 Consider now the three normative claims that follow from the disambiguation of Posner’s initial normative claim. Claim (VI), the adjudicatory, claim asserts that judges ought, in their decision of cases, to promote efficiency. This claim understands Posner’s claim as a theory of adjudication. Claim (VII), the evaluative claim, asserts that the primary criterion against which to assess legal rules and institutions is efficiency. Claim (VIII), the design claim, asserts that policymakers should design legal rules and institutions to promote efficiency. Note that claims (VII) and (VIII) are independent. Designing efficient legal rules and institutions might be desirable for non-efficiency reasons. Conversely, efficiency might dictate the design of inefficient institutions.