And they reduced it, so we're already admitting that the penalty is based on vibes and not simply an unbiased calculation. So it's just the whims of this particular judge that says the right number is $25,000,000,000.00 and not $250,000,000,000.00. Sounds like that number is no more justified than $25,000,000.00 or $25.