[miner's+lake]