Guo Huai
229年春の第三次北伐は、陳式が武都・陰平を攻め、諸葛亮が魏の郭淮を防ぎ、武都・陰平の両郡を平定した。