Since may be equal to for some , it may be convenient to speak about stages. Starting from stage 0, the run goes through stages 1, 2, etc.. Formally, stage i can be defined as the pair .