User blog comment:B1mb0w/Unique Ordinal Representation/@comment-5529393-20160125081041

In addition to the nonuniqueness of the extended normal form, there seems to be a problem here:  If you drop the inner brackets, there's no way to tell which parts of $$g$$ are $$g_d, g_c, g_a$$, so the representations will not be unique.