有小人，名曰菌人。