I think m-c can figure it out, but b2g18 can not. I would argue that we should be future-thinking and avoid adding the duplicated labels since m-c can infer them from the definition.