if the input is considered an A-label. The output is certainly not a U-label since "RSUM" are disallowed codepoints. I don't know if this is a problem, but it may warrant at least some discussion in section 5.4 of idnabis-protocol? =3Dwil