mk_wf defined, rewrites for mk_wf