“Starmer exits before Petro”

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,625 to this thesis across 2 prediction markets on Polymarket.