How We Know Languages like Proto-Indo-European Existed