That would make sense: it would avoid unnecessary duplication.