Provable \exixts∗\forall-sentences about sets with atoms