You think that he was coincidentally laid off for some unrelated purpose on the same day as HR was busy laying off 7% of their employees? That they didn't schedule it for one day before or after?

I don't know, you're right, but this is highly improbable.