I just discovered the 'eqv' operator