9. Opening of new mines.

When a mine is open, the sinking of a new pit in the same vein or seam, or breaking ground in a new place in the same rock, is not necessarily opening a new mine