A craftsman is polishing tools.