Federal judges should not be categorized here, unless they also held a judgeship within the state.