I’m happy David Boies lost.

It’s nothing personal—but if the legendary litigator had prevailed before the U.S. Court of Appeals for the Federal Circuit on Tuesday, the federal government would have owed his clients at least $18.3 billion.