some uniqueness and wf-expand