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

　　君使士迎于竟，大夫郊劳，君亲拜迎于大门之内而庙受，北面拜贶，拜君命之辱，所以致敬也。敬让也者，君子之所以相接也。故诸侯相接以敬让，则不相侵陵。

　　陵雲臺樓觀精巧，先稱平眾木輕重，然後造構，乃無錙銖相負揭。臺雖高峻，常隨風搖動，而終無傾倒之理。魏明帝登臺，懼其勢危，別以大材扶持之，樓即頹壞。論者謂輕重力偏故也。