A spade may be made of any size, and if the same number of strokes be made in the hour, the requisite exertion will vary nearly as the cube of the length of the blade.
William Stanley Jevons (1871). “The Theory of Political Economy”, p.192