Further instruction refinement