miners and millers