Mining and miners