錯守詣圍,雖合《周易》重門之義,然適可禦敵,不獲大利,不若使聞敵至,諸圍皆斂兵聚谷,退就漢、樂二城,使敵不得入。平且重關鎮守以捍之,有事之日,令游軍並進,以伺其虛。敵攻關不克,野無散谷,千里縣糧,自然疲乏。引退之日,然後諸城並出,與游軍併力搏之,此殄敵之術也。(《蜀志·姜維傳》)