《明史·列传·卷一百六十》
当年秋天，变蛟追击混天星等贼首，在蒲城打败了他们，贼兵向西逃往平凉、巩昌，变蛟又击败了他们。
其秋追混天星等，败之蒲城。贼西走平凉、巩昌，复击破之。
In the autumn of that year, Bian Jiao pursued and attacked the thief chiefs such as Hunjianxing, and defeated them in Pucheng,  the rebels fled west to Pingliang and Gongchang, and Bian Jiao defeated them again.