Title: Mining at great depths