up to Reduction