Synthesis on zipped products does not work