Refine WF0, WF1