"糧盡退軍". Sima 1084, vol. 72: "六月，亮以糧盡退軍". Yu, Weilüe: "亮軍退，司馬宣王使郃追之，郃曰：「軍法，圍城必開出路，歸軍勿追。」宣王不聽。郃不得已，遂進。蜀軍乘高布伏，弓弩亂發，矢中郃髀。" Cited in Chen and Pei 429, 17. Sima...