Federal judges should not be included here, except those who have also held a judgeship within the state.