12 STEPWISE REFINEMENT