Quoting Mark: > In terms of exposition, however, I think the simplest choice of terminology > is that M-Label is anything that maps to a U-Label, including the identity > mapping. This means that "weiß" is not an M-label. Is that what we want? /Cary