let strict_superset u v = strict_subset v u