‘A miner’s pickaxe.’ Raymond, Mining Gloss.