Thanks for the clarification. Ultimately, all it means is that it's gone and will never come back. I can't see the courts forcing AMR to make the lump sum a reality again.