appears_in, disjoint, no_repeats