who iswas what does mill mean definition