updated semantics of mappings