We want to define + to mean the same thing as the add member function of Pair.

So the new definition of + for Pair is naturally defined as a member of the Pair class.