A fine-grained stone used for sharpening cutting tools