Megami Tensei* or its official franchise media. The character is absent from novel summaries, OVA depictions, game adaptations, and spin-off entries.