tower with hsets, csystems, stuck in iterated pullback