Comment by Dongmin on the side character.

@the side character. The name Baal already existed long before, it's just that Genshin uses the name of some demons, for Archons. Morax, Baal, Barbatos, etc. are all demon names.