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

　　桓公將伐蜀，在事諸賢鹹以李勢在蜀既久，承藉累葉，且形據上流，三峽未易可克。唯劉尹雲：“伊必能克蜀。觀其蒲博，不必得，則不為。”

　　鲁庄公及宋人战于乘丘。县贲父御，卜国为右。马惊，败绩，公队。佐车授绥。公曰：“末之卜也。”县贲父曰：“他日不败绩，而今败绩，是无勇也。”遂死之。圉人浴马，有流矢在白肉。公曰：“非其罪也。”遂诔之。士之有诔，自此始也。