If Cartesia is the #1 model on Artificial Analysis Speech Arena Leaderboard on Sep 4, 2026 at 10:00am ET, then the market resolves to Yes.