Proximal Reduction