I have no idea where that would be, but they say it's from the same, you use the same reference of the beginning of each of the names of humanoids and arachnoids and stuff, and they have here the P-H-O-L, and they say it comes from the same family as seals.