What Is Formal Identification