Added first import of 0-folding