fun fact:
9 judges were settled on as a number around the time of the Civil War.
I thought they didn’t get 9 until 1895.