text:  But Mike was talking about judges, federal and Supreme Court justices. And it's also, you know, it's also, you know, who is going to, you know, if Donald Trump wins and Republicans hold on to the Senate, you know, Justice Thomas can retire.