They overhired so badly it's an existential threat to the company, and not even from a cost perspective. Should lay off closer to 4000, but that would have negative cultural impact too. So they're stuck. Always slightly underhire so you can be sure you didn't overhire.