I just wonder where does the `values_eq` method comes from here?