So they had a choice there. They could stay with the city in some new job, or they could come with us, or they could quit. But they’d have a job either way. Both of those unions voted to what’s called de… There’s a word for it, when you get out, when you dissolve the union, de-certification. De-certification. We had about, I guess 175 employees over all of that staff, including public services. And most of them were in the unions.