static <A> Set<A> setInConcept(Concept c, Set<A> m) {
  ret new SetInConcept(m, c);
}