monotonicity
extract-wf