  Notice that the property of Baire and Lebesgue measurability have the feature that if they hold of A then they hold of the complement of A. However, the perfect set property does not have this feature. It remained open whether all Π̰11 sets have the perfect set property and whether all Σ̰12 sets have the property of Baire and are Lebesgue measurable. 