Ignore most memory comparisions by validating the lengths are the same first.  Becomes O(log(n)) from O(n) for correct_exists.