Yes, you're on the right track :)

How do we know that two instances are the *same?*