Folding for {}