“WTI hits 85, stays below 90”

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