length implies an ordered sequence.