Pit sinkers prepare the coal mines of tomorrow. An account of shaft sinking techniques.