reduction and refinement