Legislatures often instruct judges to impose harsher punishments on people who have prior criminal convictions—for example, a conviction for a “crime of violence” or for a “crime involving moral turpitude.” But how are judges to determine whether a person has such a conviction? In Mathis v. United States, the Supreme Court clarified that judges can rely on only the legal “elements” of prior convictions, not the factual “means”...