adding fun_eq.v