高貴鄉公薨，內外諠嘩。司馬文王問侍中陳泰曰：“何以靜之？”泰雲：“唯殺賈充，以謝天下。”文王曰：“可復下此不？”對曰：“但見其上，未見其下。”

　　孟冬之月，日在尾，昏危中，旦七星中。其日壬癸。其帝颛顼，其神玄冥。其虫介。其音羽，律中应钟。其数六。其味咸，其臭朽。其祀行，祭先肾。水始冰，地始冻。雉入大水为蜃。虹藏不见。天子居玄堂左个，乘玄路，驾铁骊，载玄旗，衣黑衣，服玄玉，食黍与彘，其器闳以奄。

　　康僧淵目深而鼻高，王丞相每調之。僧淵曰：“鼻者面之山，目者面之淵。山不高則不靈，淵不深則不清。”