If Will Hardy wins the Pro basketball Coach of the Year in the 2025-26 season, then the market resolves to Yes.