> Your argument conveniently assumes that H1s are only going to net new employees vs. those that fill the gap too.

I also conveniently assumed that global 40k headcount increase was sufficiently representative of the US headcount increase, even though it inflates the denominator. It's the nature of back-of-the-envelope calculations to be convenient.