Renamed simple to small-step in preparation for adding big-step