Assertion message unclear, should be something like "number inside array correctly propagated" or something