A sword is sharpened by grinding