“Petro or Starmer exits”

This trader is expressing a view that Will Keir Starmer be the next leader out before 2027?, Will Gustavo Petro be the next leader out before 2027? are correlated outcomes, committing $4,592 to this thesis across 2 prediction markets on Polymarket.