Formal Name Encoding