MicroStrategy purchases >8000 BTC July 1-7?

This market will resolve to "Yes" if MicroStrategy purchases more Bitcoin than the number specified in the title between July 1, 12:00 AM (inclusive) and July 7, 2025, 11:59 PM ET (inclusive). Otherwise, this market will resolve to "No". The resolution source for this market will be official information from MicroStrategy or Michael Saylor.