童君高住五老峰，卧看瀑布悬晴空。

郑真。 浙江鄞县人，字千之。洪武四年举人。官广信教授。治经学长于《春秋》。与兄郑驹、弟郑凤并以文学擅名。尝取诸家格言，著为集传集说集论。有《荥阳外史集》等。