Imagine it's more like a net 10% will leave, which is in line with many layoffs (acknowledging Microsoft's size makes this a large number)