[user68858788]

That does sound dire. There’s the replacement rate to consider still, though I imagine new hires are close to 0 with the shutdown in effect.