 Isaac, thank you. Let's turn to the business news now with Mariko Oi. Mariko, you have more details on this story about the NFL in the US having to pay almost $5 billion in damages. Tell us more. What's happening there?