No, they've got a judgement on paper for $1.5 billion. This is part of the process of actually getting that money.