¹In practice, we include all labeled examples as part of unlabeled data without using their labels when constructing 𝒰.