baby step: extract-wf