Right.
The question wasn't discussed with the U.S., by my recollection, but I don't believe there's a question that they're taxing it, because that's not income by any measure.
The question we had before, and that we asked, was about the grants themselves, the government grants that go into these. These are taxable by us. The U.S. view was that it appeared to be income to the beneficiary if, and only if, it actually went to the beneficiary, if all the conditions were satisfied. But that would also be the point at which we're taxing, so it would be matching up, and quite conceivably, there would be no additional U.S. tax as a result.