all zipper functions verified