I meant to place an assert here, but yes, it will fail. That's the point (and what `reduce` currently does).