Add eqv implementation