4.3.2 Refinement of the staircase