subset -> equivalence rather