孔明相巴蜀，贵在饬纲纪。

断狱斩幼常，时时面流涕。

古来真将军，亲爱法不废。

所以百万师，常若身使臂。

桓桓司马法，无事出奇计。

恩多不能劝，用法乃始励。

庄贾后即诛，庶乎知此意。