Title: Deep down: A tale of the Cornish mines