Zipper dynamics impl