BUT WHAT IS diamond sharpening stone, REALLY?