lift -> mapf