FR-Formal Recognition