宋 陶谷《清异录・居室》：「李愚告人，予夙夜在公，不曾烂游华胥国，意欲於洛阳买水竹作『蝶庵』，谢事居其间。庵未下手，铭已毕工。庵中当以庄周爲开山第一祖，陈抟配食。然忙者难爲注籍供职。」参见「蝶梦」。