invert-wf-fun done