new paper with gasarch's revisions