Yup. Google has basically doubled in employee count since 2016. It doesn't seem unreasonable at all that it would contract back a few years or more, headcount-wise.