臣伏见天后时，有同州下邽人徐元庆者，父爽为县吏赵师韫所杀，卒能手刃父仇，束身归罪。当时谏臣陈子昂建议诛之而旌其闾；且请“编之于令，永为国典”。臣窃独过之。

　　臣闻礼之大本，以防乱也。若曰无为贼虐，凡为子者杀无赦。刑之大本，亦以防乱也。若曰无为贼虐，凡为理者杀无赦。其本则合，其用则异，旌与诛莫得而并焉。诛其可旌，兹谓滥；黩刑甚矣。旌其可诛，兹谓僭；坏礼甚矣。果以是示于天下，传于后代，趋义者不知所向，违害者不知所立，以是为典可乎？盖圣人之制，穷理以定赏罚，本情以正褒贬，统于一而已矣。

　　向使刺谳其诚伪，考正其曲直，原始而求其端，则刑礼之用，判然离矣。何者？若元庆之父，不陷于公罪，师韫之诛，独以其私怨，奋其吏气，虐于非辜，州牧不知罪，刑官不知问，上下蒙冒，吁号不闻；而元庆能以戴天为大耻，枕戈为得礼，处心积虑，以冲仇人之胸，介然自克，即死无憾，是守礼而行义也。执事者宜有惭色，将谢之不暇，而又何诛焉？

　　其或元庆之父，不免于罪，师韫之诛，不愆于法，是非死于吏也，是死于法也。法其可仇乎？仇天子之法，而戕奉法之吏，是悖骜而凌上也。执而诛之，所以正邦典，而又何旌焉？

　　且其议曰：“人必有子，子必有亲，亲亲相仇，其乱谁救？”是惑于礼也甚矣。礼之所谓仇者，盖其冤抑沉痛而号无告也；非谓抵罪触法，陷于大戮。而曰“彼杀之，我乃杀之”。不议曲直，暴寡胁弱而已。其非经背圣，不亦甚哉！

　　《周礼》：“调人，掌司万人之仇。凡杀人而义者，令勿仇；仇之则死。有反杀者，邦国交仇之。”又安得亲亲相仇也？《春秋公羊传》曰：“父不受诛，子复仇可也。父受诛，子复仇，此推刃之道，复仇不除害。”今若取此以断两下相杀，则合于礼矣。且夫不忘仇，孝也；不爱死，义也。元庆能不越于礼，服孝死义，是必达理而闻道者也。夫达理闻道之人，岂其以王法为敌仇者哉？议者反以为戮，黩刑坏礼，其不可以为典，明矣。

　　请下臣议附于令。有断斯狱者，不宜以前议从事。谨议。

　　褒禅山亦谓之华山，唐浮图慧褒始舍于其址，而卒葬之；以故其后名之曰“褒禅”。今所谓慧空禅院者，褒之庐冢也。距其院东五里，所谓华山洞者，以其乃华山之阳名之也。距洞百余步，有碑仆道，其文漫灭，独其为文犹可识曰“花山”。今言“华”如“华实”之“华”者，盖音谬也。

　　其下平旷，有泉侧出，而记游者甚众，所谓前洞也。由山以上五六里，有穴窈然，入之甚寒，问其深，则其好游者不能穷也，谓之后洞。余与四人拥火以入，入之愈深，其进愈难，而其见愈奇。有怠而欲出者，曰：“不出，火且尽。”遂与之俱出。盖余所至，比好游者尚不能十一，然视其左右，来而记之者已少。盖其又深，则其至又加少矣。方是时，余之力尚足以入，火尚足以明也。既其出，则或咎其欲出者，而余亦悔其随之，而不得极夫游之乐也。

　　于是余有叹焉。古人之观于天地、山川、草木、虫鱼、鸟兽，往往有得，以其求思之深而无不在也。夫夷以近，则游者众；险以远，则至者少。而世之奇伟、瑰怪，非常之观，常在于险远，而人之所罕至焉，故非有志者不能至也。有志矣，不随以止也，然力不足者，亦不能至也。有志与力，而又不随以怠，至于幽暗昏惑而无物以相之，亦不能至也。然力足以至焉，于人为可讥，而在己为有悔；尽吾志也而不能至者，可以无悔矣，其孰能讥之乎？此余之所得也！

　　余于仆碑，又以悲夫古书之不存，后世之谬其传而莫能名者，何可胜道也哉！此所以学者不可以不深思而慎取之也。

　　四人者：庐陵萧君圭君玉，长乐王回深父，余弟安国平父、安上纯父。

　　至和元年七月某日，临川王某记。