the process of grinding large stones into small stones