a rock is for sharpening into a tool