among miners, the operation of freeing ore from the bed or stratum in which it lies, where every stroke of their tools turns to account; in contradistinction to the openings made in search of ore, which are called *hatches*, or *escuy-hatches*, and the operation itself named *tracing of mines*, or *holing*.