I mean, their streaming service (what it's really all about these days) ESPN+ subscriptions are up big time and will probably hit 20 mill by the summer, and that's after a price increase. Other than some call options on Disney, I don't have a rooting interest in whether they do well or not. Just...