 It follows that (assuming that ZFC is consistent), ZFC cannot prove that Σ̰12 sets have the property of Baire and are Lebesgue measurable, that Π̰11 sets have the perfect set property, and that Unif(Σ̰1n) fails for n ≥ 2. It remained open whether ZFC could establish the negations. 