A formalized recognition system could | Negation Game