Added eqv?