“Spider-Man grosses between $800M–$900M”

This trader is expressing a view that Will the total domestic gross for Spider-Man: Brand New Day be between 800m and 900m by August 31?, Will the total domestic gross for Spider-Man: Brand New Day be at least 900m by August 31? are correlated outcomes, committing $2,541 to this thesis across 2 prediction markets on Polymarket.