If Eduardo Paes wins the 2026 Rio de Janeiro gubernatorial election, then the market resolves to Yes.