What is a mill?