Lots of rothberger stuff, in middle of silly proof