A little fact(?): iirc Andrealphus is sometimes referred to as Aldroalph.
I wanted to say this for those somewhat familiar with Ars Goetia (and/or works that borrow from the names of Demons in it such as "An Archdemon's Dilemma") who may not recognize the name Aldroalph