This market is to estimate how many people will be laid off by Microsoft in this upcoming round of cutting down workforce, starting tomorrow. 

Market closes at the end of this quarter (negotiable) because likely there'll be a good estimate by reputable news sources (and because they prolly wanna do this before next earnings report is released). 

Marking the market multiple choice instead of numeric because the numbers will likely be fuzzed and I just want to make it easy to resolve.

https://www.theverge.com/2023/1/17/23559412/microsoft-layoffs-job-cuts-2023