Exploring a mine