Improved Eq with deference to .equals.