《梁书·列传·卷四十》
到溉府第山池中有奇石，高祖开玩笑用奇石打赌，并加一部《礼记》，到溉一并输了，却没有进奉赌物，高祖对朱异说： 卿告诉到溉所输的东西可以送来否? 
溉第山池有奇石，高祖戏与赌之，并《礼记》一部，溉并输焉，未进，高祖谓硃异曰； 卿谓到溉所输可以送未？ 
There was a strange rock in the mountain pond of Da Gai's mansion. Gaozu joked that he would bet on the strange rock, and added a copy of "Book of Rites". Da Gai lost both bets, but did not offer the bet. Gaozu said to Zhu Yi: "Ask Da Gai if he can send the things he has lost?"