MicroStrategy purchases >5000 BTC July 29-August 4?

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