Added some formal descriptions of the stage splitting.