Is this data structure correct?