Each language implies a recognition