[seanmcdirmid]

Those mean the same thing.

[chrisjj]

Strange then that we have separate words for speed and quantity.

[seanmcdirmid]

If I can do something faster or I can do something with less effort, those are both the same productivity increases. It’s just the how the human involved wants to spend the increase.