古有愚公谷，今余家是溪，而名莫能定，士之居者，犹龂龂然，不可以不更也，故更之为愚溪。