魏焦孝然目其草庐曰蜗牛庐愚以行帐为行窝寻亦号为蜗牛舍云

宴处行窝缩似蜗,推移蜗角叩南华。

调停蛮触将蝴蝶,尽与华胥做一家。

绝辔元期绝战尘,指南犹示指迷津。

未应蛮触相倾地,不属华胥枕上人。