The fact people were rushing to redeem them before being laid off, and their redemption service being an internal program, makes it seem pretty clear that they are not able utilize their codes after leaving the company. At least, I would have thought that’s pretty clear based on my comprehending what I was reading.