Of course judges should not run for office