宣帝自宛由西城伐蜀，值霖雨，不果。此之前后，无复有于阳平交兵事。就如冲言，宣帝既举二十万众，已知亮兵少力弱，若疑其有伏兵，正可设防持重，何至便走乎？案魏延传云：「延每随亮出，辄欲请精兵万人，与亮异道会于潼关，亮制而不许；延常谓亮为怯，叹己才用之不尽也。」亮尚不以延为万人别统，岂得如冲言，顿使将重兵在前，而以轻弱自守乎？且冲与扶风王言，显彰宣帝之短，对子毁父，理所不容，而云「扶风王慨然善冲之言」，故知此书举引皆虚。问：按记载阳平在汉中。诸葛亮在阳平时，司马懿还只是荆州都督，镇守宛城，直到曹真死后，才与诸葛