梦者，诚之所形也。高宗形于得贤，仲尼形于见圣，庄周形于化蝶，扬雄形于吐凤，范式形于葬友。梦之小大虽不同，其为诚之所形则一也。仙居陈君勉卿执亲丧如礼，以孝称于乡。初求佳城未获，寝食弗遑，一夕，梦侍其亲游于睦溪之原，指其处以语之。明日访焉，果得其地，卜人吉之，遂毕窀穸。因筑庵以守，以‘梦’名之，志其所以得也。某辱与君之弟文卿游上庠为同舍生，又与君之子三省游于剡，三省以梦庵之事语予，且求文以记。予谓观人之术不必验之行事，因其诚之所形，亦足知其大略。高宗可以知其贤，孔子可以知其圣，庄周可以知其达，扬雄可以知其文，范式可以知其义，陈君之梦可谓知其孝矣。彼有梦尸得官，梦秽得财，心之所念者果何事，梦之所见者果何物耶；与陈君之梦固有间矣。