Yeah, iirc wasn’t the first Lucifer just a Babylonian king who was prophesied to fall from grace?