We had extensive criteria so Lilith was chosen based on that (it's a pre-existing name, it can be as formal or informal as she likes, etc..). The goal wasn't to have a unique name but I'm tickled that there'll probably be a load of Lilys in her class!