Formal recognition schemes