请教一个问题，蔚来的智能系统用树命名，乐道用水果命名，那么萤火虫用什么命名呢？