syntax and folding