Now add in part time workers, contractors, and contracted-out workers like cleaning staff that are still required, just not counted as FTE. Would be interested to know those numbers too, and... are any of them being affected as well (assuming so, but it'll be accounted for in various other ledgers).