the miner (miner)