A craftsman is sharpening a tool using a grinding wheel.