“WTI stays below $85”

This trader is expressing a view that Will WTI Crude Oil (WTI) hit (HIGH) $95 in July?, Will WTI Crude Oil (WTI) hit (HIGH) $90 in July?, Will WTI Crude Oil (WTI) hit (HIGH) $85 in July? are correlated outcomes, committing $3,993 to this thesis across 3 prediction markets on Polymarket.