redundant folding