add Eq.v