Microsoft: 18.000 layoffs, but were they the right ones?