There's rarely any talk about how many of these (if any!) are actually contractors / vendors. All the big companies have outsourced a huge number of staff to agencies (presumably to be more flexible in short-term budgeting and "turning the resource off", when needed, so they don't have to worry about the legal intricacies, as that is by-design conveniently also outsourced to the vendor in most cases). Curious if the 18k here is on top of shutting down external contracts.