Go look at their 10-K, they paid around $2 billion, or a 50% tax rate. The reason their income tax expense is negative is due to R&D getting capitalized this year, so they get a large deferred foreign benefit, but that doesn’t reduce the actual tax they owe