If this happened 4.5 billion years ago, how do they know Theia’s name? There weren’t any people around at the time.