Book of Jin 648, vol. 2: "景元[四年]夏，帝將伐蜀，乃謀眾曰：「自定壽春已來，息役六年，治兵繕甲，以擬二虜。略計取吳，作戰船，通水道，當用千餘萬功，此十萬人百數十日事也。又南土下濕，必生疾疫。今宜先取蜀，三年之後，在巴蜀順流之勢，水陸並進，此滅虞定虢，吞韓並魏之勢也。」"...