《魏末傳》曰:司馬文王秉政,征諸葛誕。既被征,詣諸牙門,置酒飲宴,謂眾人曰:「前作千人鎧仗始成,欲以擊賊。今當還洛,不復得用,欲蹔出,將見人游戲。須臾還耳,諸君且止。」乃嚴鼓將七百人出,遂殺樂綝。
司馬文王秉政,征誕為司空