In the seventeenth year of Yongze's reign, Prince Rui besieged Shengjing of Xiyao. After more than a month, the city was completely destroyed. The king of Xiyao lived in peace and happiness for a long time, and his days and nights were endless. Evil spirits attacked him and all sorts of diseases arose. Suddenly I heard the bad news, my life was shattered. Xiyao was destroyed, and Dongxuan gained the nineteen states of Xiyao. At the end of the year, Yi Di, Nan Zhu, and Xiqiu Suoxi came to court, and they were first called Daxuan.
——"Xuanshu. Biography. King Rui"