rename v as v-, vf as ef; add new v (no -)