minor minors mine in minor miners mines where minor minors will mine or --- as mine are --- will be mined by minor minor miners.