https://www.enneadgames.com/10-demon-true-names-and-use-names/