Definition of Miner