let apply u a = Map.find a u