They are firing 10k people they have already hired, and not hiring for 5k roles where they haven't yet hired. So 10k are leaving, and the planned 5k they were going to add will not add. This means they are losing 10k.