[benmanns]

True, but I thought that that would look disingenuous, because it would look like the worker times scale logarithmically when they are about as linear as you can get.