It's not gaslighting at all, the point is that the origin of the name comes from culture not from description. Without the culture backing up the name it would

It's not gaslighting at all, the point is that the origin of the name comes from culture not from description. Without the culture backing up the name it would be random, you're getting your order of operations wrong.