Just as a point of clarification right at the beginning, the tax receivable number largely reflects the fact that as of March 31, we had received in cash a certain amount of money. But there was another amount that was in fact calculated and verified in June that showed that the government was owed an amount different from what we received in cash. It's as much an accounting issue as a question of accounts in arrears, if you wish.
In other words, as of March, we'll have received a certain amount of money, but as of that time, only a certain percentage of taxes owed has been received. Over the course of the rest of the summer, the government will refine that estimate and determine how much is actually owed, and that's largely what drives the receivables number.