just use eqv, not hyper eqv