""Dandy" is a term coined by miners in the 15th century."
