Extractors, Manifests, Preconditions