Added Extractor.exists, renamed all => forall