let subset = trivial_is_implied