Formal public identifier