What Is a Reduction?