static <A, B> Map<A, B> mergeMapsStrictly(Map<A, B> map1, Map<A, B> map2) {
  if (map2 == null) ret map1;
  if (map1 == null) ret map2;
  if (!canPutAllStrictly(map1, map2)) null;
  ret mergeMaps(map1, map2);
}