Revise the exclusive ordered comparison rules to no longer imply !=V.*