sematnics of mappings, much left to do