Tool grinder: what is its purpose?