"宣王善之，淮遂屯北原。塹壘未成，蜀兵大至，淮逆擊之。" Sima 1084, vol. 72. Book of Jin 648, vol. 1: "亮果上原，將北渡渭，帝遣將軍周當屯陽遂以餌之。數日，亮不動。帝曰：「亮欲爭原而不向陽遂，此意可知也。」遣將軍胡遵、雍州剌史郭淮共備陽遂，與亮會于積石。臨原而戰，亮不得進，還于五丈原。"...