Code refinement...