Right, so what happened is that, almost two weeks ago now, 6,800 people in the US were, practically speaking, laid off in the middle of the night with no warning whatsoever. All of their accounts were disabled, their badges were deactivated, and they were functionally no longer employees.

Legally speaking though, because of WARN, the actual status of those employees is that they are still employed for two months (three in New York because we have a better WARN Act). So they'll still be getting their pay and benefits for that period, to be compliant with the WARN Act. This is the people who are on that list.