Yes because duplicate labels are not allowed within the scope of a single record (you can specify which one overrides the other, but perhaps we also need a conv

Yes because duplicate labels are not allowed within the scope of a single record (you can specify which one overrides the other, but perhaps we also need a convenient rename syntax). This point was that different records can happily contain the same field names. The situation is the same as SQL.