He’s not laying himself off, but 3,000 city workers.