贱不诔贵，不诔长，礼也。天子，称天以诔。诸侯相诔，非也

　　殷中軍、孫安國、王、能言諸賢，悉在會稽王許。與孫共論易象妙於見形。孫道合，意氣幹雲。壹坐鹹不孫理，而辭不能屈。會稽王然嘆曰：“使真長來，故應以制彼。”既迎真長，孫意不如。真長既至，先令孫自本理。孫粗說己語，亦覺殊及向。劉便作二百許語，辭簡切，孫理遂屈。壹坐同時掌而笑，稱美良久