蜀诸葛亮为大将军出军向祁山马谡统大众在前与魏将张郃战于街亭谡违亮节度大为郃所破亮戮谡以谢众蒋琬后诣汉中谓亮曰：昔楚杀得臣然后文公喜可知也。天下未定而戮智计之士，岂不惜乎！亮流涕曰：孙武所以能制胜于天下者用法明也。是以扬干乱行魏绛戮其仆四方分裂兵交方始。若复废法何用讨贼邪。