0-folding specification