It's honestly impressive. Even during the major tech cuts of 2022-2023, I think many companies ended up about the same size or a even little larger over the course of a year, due to all the other hiring happening and the fact that the cuts may have partially overlapped with existing performance management anyway. 43% an incredible shrinkage for any company in such a short timescale.