2 ms·

Exactly. It's also an employee refresh. Plus they're pushing down any optional payment like bonuses, RSUs.