昔武皇帝征南郑,取张鲁,阳平之役,危而后济。又自往拔出夏侯渊军,数言‘南郑直为天狱,中斜谷道为五百里石穴耳’,言其深险,喜出渊军之辞也。又武皇帝圣于用兵,察蜀贼栖于山岩,视吴虏窜于江湖,皆桡而避之,不责将士之力,不争一朝之忿,诚所谓见胜而战,知难而退也。今若进军就南郑讨亮,道既险阻,计用精兵又转运镇守南方四州遏御水贼,凡用十五六万人,必当复更有所发兴。天下骚动,费力广大,此诚陛下所宜深虑。夫守战之力,力役参倍。但以今日见兵,分命大将据诸要险,威足以震慑强寇,镇静疆场,将士虎睡,百姓无事。数年之间,中国日盛,吴蜀二虏必自罢弊。”