A craftsman is sharpening a knife using a grinding machine.