Tag: referentially-correct subsets