Skel of unbounded algo