I am pretty sure they opened their excel sheet, ordered the employees by salary, and got rid of the highest paid 10% of each department. Or the lowest performing 10% based on a score in the excel.
They are just numbers to them