EDIT: I meant alias, oops
Implicating ashelin → ashelin_praxis
Link to implication
Reason:
More unique full name
https://jakanddaxter.fandom.com/wiki/Ashelin_Praxis#cite_note-1
EDIT: The tag implication ashelin -> ashelin_praxis (forum #281822) has been rejected by @gattonero2001.
Updated by auto moderator