If Cleitinho Azevedo wins the 2026 Minas Gerais gubernatorial election, then the market resolves to Yes.