: Reduction