some folding-mappings