Use proper set operations (ty, SRI)