[math-fun] A math-y US Supreme Court decision