曹字相类，是或有曹阳之名也。赵云：王氏世懋《读史订疑》曰，灵宝之西，函谷之东，有涧直下黄河，曰弘农涧。《一统志》云，宋避英宗讳，改为鸿芦。窃疑宋为太祖父讳宏殷耳，
何必并农字改之。英宗初名及后更名，俱不犯二字，以为英宗者尤误也。后阅王得臣《麈史》，始知其大缪不然。得臣曾修《陕志》，云，灵宝之西有涧，曰洪溜，不知其名之因也。比见《水经注》云，县有鸿胪围池，是水津渠沿注，故谓斯川为鸿涧。是知洪溜语之讹也。洒然始悟，当时俗名是洪溜原，非宏农所谓鸿胪者，即得臣援证《水经》修志时改之耳。彼自云鸿胪，非鸿芦也。得臣，政和时年八十，所著书正当英宗前后，何尝有避讳之说乎？盖陕州古名宏农，而是涧先名洪溜，后名鸿胪，其声近于宏农，措大强解事，遂以意傅会其说，以为复古而名之。事故有习而非真，予故拈出之，以雪斯涧之误名。今灵宝人亦顺呼为宏农，无有知其非者。仍当称鸿胪为是。不然，称洪溜，犹是宋以前之语也。一清按：敬美之言非也。据郦《注》，鸿胪围池在上洛县，上洛属商州，去陕四百余里，安可便以鸿胪为宏农也？《后汉书 献帝纪》云，十一月庚午，李傕、郭泛等追乘舆，战于东涧，王师败绩。壬申，幸曹阳，露次田中。章怀《注》云，曹阳，涧名，在今陕州西南七里，俗谓之七里涧。《董卓传》云，傕、泛共追乘舆，大战于宏农东涧，天子遂露次曹阳。《寰宇记》陕州陕县下云，曹阳墟，俗名七里涧，在县西四十五里。魏武帝改曰好阳涧。本曰曹阳，以在曹水之阳。然则傕、泛战处，乃是宏农之东涧，一名七里涧者是。今节去东字，直云宏农涧，方土之称，郦氏因之，未为失也。若以鸿胪围池释之，抑更差违已。且洪溜涧名见《汉书 注》，颜师古曰，桃林县南有洪溜涧水，即古之函关是也，纷纷辨质，实为辞费。又全氏曰，善长疑曹阳即菑阳，然师古注《陈涉传》云，曹水出陕县西南岘头山，北流入河，今谓之好阳涧，在陕县西四十五里。则菑水外别有曹水，不如善长所云。守敬按：献帝露次曹阳，即上文所谓曹水径
曹阳亭西，故去陕有四十余里，郦氏牵于七里涧亦谓之曹阳坑，与四十余里不合，遂疑菑、曹字相类而误，自生胶葛。而于曹水、曹阳亭绝不提及，不可解也。全氏引《陈涉传 注》，又似郦氏不知有曹水、好阳涧者，不检郦氏所叙，曹水曹阳，引《陈涉传》，即在此段前十余行。赵氏繁称博引，而顾不知七里涧、好阳涧为二水，盖七里涧，在陕西七里者也；好阳涧，在陕西四十余里者也。赵引章怀《注》，七里涧在陕州西南七里是矣，而复引《寰宇记》，七里涧在陕县西四十五里，魏武改曰好阳，是以陕西七里之水，为即陕西四十余里之水，不思既与七里涧之义不合，而郦氏又何所用其辨为也？谬殊甚矣。
河水又东合谯水，朱无又字，谯水讹作谯谯。赵、戴改下谯字作水。戴增又字，改谯作潐。水导源常烝之山，俗谓之为干山，朱干讹作于。赵据孙潜校改，戴作干。守敬按：明抄本作干。盖先后之异名也。山在陕城南八十里。会贞按：《山海经 中次六经》，潐水出常烝之山。《名胜志》，谯水出陕州城南三里，平地涌出，北流入河，俗呼三里涧。其流甚短，且出平地，与此《注》所叙不合，非古谯水也。今州南百里有干山，干头河出此山，即干山，则水即谯水矣。其川，朱此下衍流也二字，赵同，戴删。二源双导，同注一壑，而西北流注于河。
又东过陕县北。
橐水出橐山，守敬按：《山海经》[《中次六经》]橐水出橐山。山在今陕州东九十里，橐水出焉，一名永定涧。西北流，又有崖水，朱讹作于水，赵于作干。戴改崖。守敬按：下言干山之水注崖水，则此
当先叙崖水，戴改是也。出南山北谷，朱谷讹作合，赵据孙潜校改。戴改同。守敬按：今有青龙河，出陕州东南明山，盖即崖水也。径崖峡，北流，与干山之水会。朱干作于，下同。赵、戴改。水出干山东谷，朱脱水字，赵同，戴增。两川合注于崖水。守敬按：水当在今陕州东南。又东北注橐水，北流出谷，谓之漫涧矣。会贞按：《方舆纪要》，其水漫流，故名漫涧。《陕州志》益以山涧诸水，势甚暴悍。与安阳溪水合，水出石崤南，会贞按：石崤详后石崤水下。西径安阳城南，会贞按：《寰宇记》，安阳城在硖石县西四十里。在今陕州东南。汉昭帝封上官桀为侯国，朱作武帝，全国下有也，赵同，云：按《史记 索隐》曰，《表》在荡阴，《志》属汝南。《地理志》汝南郡安阳县下云，侯国是也。《方舆纪要》云，彰德府安阳县，本纣之朝歌地。七国时为魏宁新中邑。秦昭襄王五十年，王龁从张唐拔之，更名安阳。汉省入荡阴县。昭帝封上官桀为侯邑。然则非陕之安阳城也。《外戚恩泽侯表》，桀以昭帝始元二年正月壬寅封，武帝字亦误。戴改昭帝，删也字。守敬按：《汉志》汝南郡安阳下，注侯国，乃王音所封，非上官桀也。《外戚恩泽侯表》安阳侯上官桀在荡阴。师古《注》，桀所食也。汉封侯国，往往封在此而食邑在彼。田蚡封武安侯，而《沟洫志》言其奉邑食鄃，鄃属清河。此封国与食邑不必同地之证。故师古以荡阴为桀所食邑。郦