“Neither company joins the list”

This trader is expressing a view that Will Xiaomi be added to the Chinese Military Companies list by June 30, 2027?, Will ByteDance be added to the Chinese Military Companies list by June 30, 2027? are correlated outcomes, committing $13,875 to this thesis across 2 prediction markets on Polymarket.