Formal Identification