Legal formalism is both a descriptive theory and a normative theory of how judges should decide cases. Wikipedia