Title: A life in mining