to mine [ mined ; mined ]