Or to 100k employees for 5 years. Or if it's not just cash but ISOs and bonuses that are also depressed, maybe just 50k employees. Multiple large tech employers are involved, over a span of perhps longer than 5 years. It adds up quickly.