Corrected subsets procedure