Code refinement.