President Trump says he will appoint four justices by the end of his first term.

“It’s all about the numbers for him,” one source said.

Asked how he comes to that number, the president mentions the obvious: he’s already replaced Antonin Scalia with Neil Gorsuch, and there are rumors Anthony Kennedy will retire.

“Ok,” one source told Trump, “so that’s two. Who are the others?”

“Ginsburg,” Trump replied. “What does she weigh? 60 pounds?”

“Who’s the fourth?” the source asked.

“Sotomayor,” Trump said, referring to the relatively recently-appointed Obama justice, whose name is rarely, if ever, mentioned in speculation about the next justice to be replaced. “Her health,” Trump explained. “No good. Diabetes.”

Sotomayor has opened up about her struggles with type-1 diabetes, but she’s managed it successfully since childhood. Sotomayor is an appointee from President Obama’s administration and began serving on the bench in 2009.