Mapping implementation assumptions