How do they work out that intelligence tools can fill the gap made by 4,000 out of 10,000 and how long did it take to do that calculation? Or are we entering a phase of layoffs under the guise of ?