. "Other industries, such as mining and manufacturing, have had their ups and downs." . . . .