let mem s x = Map.mem x s