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

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