又有郑泉，云汉时郑朴，字子真，隐于谷中，不屈其志，耕于岩石之下，名震京师，时人亦因子真所居以为名也。又有冶谷，《封禅书》所谓谷口是也。去云阳宫八十里，出铁，冶铸之所，因以为名。入谷便流潦沸腾，飞泉激两岸，峭壁孤竖，盘横枕谷口，凛然凝沍，常如八九月中，朱明盛暑，当昼暂暄，凉秋晓候，缊袍不暖，所谓寒门也。