moved to small-step, finished small-step section