The point is pretty incoherent then, because they're proving that indeed it's reasonable for the federal judiciary to have a larger budget and thus not demonstrating that comparing budgets leads to absurdity.