I see your point, but I contest it. Two piles of stones dumped all together does indeed make just a larger, singular, pile of stones. But these piles are not irreducible. And, in any course, we may say that we have created a pile with twice as many stones as either of the two earlier piles...