每引見談論自晝逹夜及出軍祁山謖督諸
軍在前與張郃戰于街亭違亮節度舉措煩
擾舎水上山不下據城禆將王平連規諌不
用遂大爲郃所敗士卒離散獨平將千人自
持収合諸營遺棄而還亮屯去謖數里徐行
引退抜西縣千餘家歸漢中収謖下獄戮以
謝衆爲之流涕自臨𥙊待其遺平生蔣
琬後詣漢中問亮天下未定戮智計之士豈
不惜乎亮流涕曰孫武所以能制勝於天下
者用法明也四海分裂兵交方始復廢法