New version for unfold, iterate, cycle