What is the expiry of those options? And how much of his capital is he betting on them? If I'm not mistaken, what made the big short spectacular was him betting the farm on it. Otherwise, wouldn't it be just another day in the office for him?