魏明帝景初二年，即公元238年，司马懿奉命征讨在辽东自立的公孙渊。在围困襄平的时候，赶上连日大雨，司马懿遂不求速战。他属下的司马陈圭以此疑惑不解，向司马懿询问原因。他说道：“昔攻上庸，八部并进，昼夜不息，故能一旬之半，拔坚城，斩孟达。今者远来而更安缓，愚窃惑焉。”
司马懿回答说道：“孟达众少而食支一年，吾将士四倍于达而粮不淹月，以一月图一年，安可不速？以四击一，正令半解，犹当为之。是以不计死伤，与粮竞也。今贼众我寡，贼饥我饱，水雨乃尔，功力不设，虽当促之，亦何所为。自发京师，不忧贼攻，但恐贼走。今贼粮垂尽，而围落未合，掠其牛马，抄其樵采，此故驱之走也。夫兵者诡道，善因事变。贼凭众恃雨，故虽饥困，未肯束手，当示无能以安之。取小利以惊之，非计也。”
《晋书帝纪第一》：司马陈圭曰：“昔攻上庸，八部并进，昼夜不息，故能一旬之半，拔坚城，斩孟达。今者远来而更安缓，愚窃惑焉。”帝曰：“孟达众少而食支一年，吾将士四倍于达而粮不淹月，以一月图一年，安可不速？以四击一，正令半解，犹当为之。是以不计死伤，与粮竞也。今贼众我寡，贼饥我饱，水雨乃尔，功力不设，虽当促之，亦何所为。自发京师，不忧贼攻，但恐贼走。今贼粮垂尽，而围落未合，掠其牛马，抄其樵采，此故驱之走也。夫兵者诡道，善因事变。贼凭众恃雨，故虽饥困，未肯束手，当示无能以安之。取小利以惊之，非计也。