桓公將伐蜀，在事諸賢鹹以李勢在蜀既久，承藉累葉，且形據上流，三峽未易可克。唯劉尹雲：“伊必能克蜀。觀其蒲博，不必得，則不為。”

　　陳述為大將軍掾，甚見愛重。及亡，郭璞往哭之，甚哀，乃呼曰：“嗣祖，焉知非福！”俄而大將軍作亂，如其所言。

　　自恒山至于南河，千里而近；自南河至于江，千里而近。自江至于衡山，千里而遥；自东河至于东海，千里而遥。自东河至于西河，千里而近；自西河至于流沙，千里而遥。西不尽流沙，南不尽衡山，东不近东海，北不尽恒山，凡四海之内，断长补短，方三千里，为田八十万亿一万亿亩。方百里者为田九十亿亩：山陵、林麓、川泽、沟渎、城郭、宫室、涂巷，三分去一，其余六十亿亩。