neg derive and reduce exist
infer reduce exists