Generalized Extractor.forall