isDefEq