A cement mill grinds lime and to some extent other available minerals into a binder, which, combined with sand or gravel, becomes concrete. Usually reinforced with steel, it is required in large quantities for any building.