a heavy tool with a round end that is made of stone, clay, or iron, used for crushing or mixing different substances