folding mappings