Finished explicit recognizer