How do you know the two are equal?