Title: The surveying of coal mines