同"郑履"。明李东阳《弘治己酉十月恭陪茂陵禫祭途次次韵答谢方石赠别》："郑公听履星俱下，列子乘风气可骑。"