folding by syntax