the grinding of a tool