continuing into baire category