U.S. President Donald Trump’s hopes of reversing the outcome of the 2020 election in the courts are running into the reality that the numbers just aren’t there in terms of votes he can dispute — at least not yet.

In their most advanced legal challenge, the Trump campaign and the Republican Party are trying to have the U.S. Supreme Court toss Pennsylvania ballots that arrived after Nov. 3. But, with all but four of 67 counties reporting, state officials have only logged 7,800 such ballots, said Jacklin Rhoads, spokeswoman for Pennsylvania Attorney General Josh Shapiro.

Biden’s lead in Pennsylvania stood at more than 45,000 votes Monday afternoon, not including the late-arriving ballots at issue.