It included them paying debt. It was an on paper loss. They were actually free cash flow positive and had better year on year free cash flow vs the same quarter of the previous year. The $7 billion debt repayments was spread over the last 9 months. The $2 billion reported loss was over the last 3 months.