Once, during WWII, an American machinist figured out a way to harden tool steel so that the metal-cutting...