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

　　古者天子之官有庶子官庶子官职侯、卿、夫、士之子之卒，其戒令，其教治，其等，正位。国有事，则率子而致于子，唯所之。若有兵之事，授之以车，合其卒，置其有，以军法之，司马正。凡国政事，国存游卒，之修德学，春合诸，秋合诸，以考其而进退之