the worker sharpens the tool .