[benchaney]

Well as another commenter pointed out, they had to hire fewer people than a naive man hours calculation would suggest, so their productivity did increase.