Generalized Extractor.exists