αpruℓ } doesn't have any sets.