“Dan Green will win nomination”

This trader is expressing a view that Will Dan Green be the Republican nominee for FL-09?, Will Jorge Martinez be the Republican nominee for FL-09? are correlated outcomes, committing $3,123 to this thesis across 2 prediction markets on Polymarket.