孔明相巴蜀,贵在饬纲纪。
断狱斩幼常,时时面流涕。
古来真将军,亲爱法不废。
所以百万师,常若身使臂。
桓桓司马法,无事出奇计。
恩多不能劝,用法乃始励。
庄贾后即诛,庶乎知此意。