Before revision:  It outputs a list of O(1/\alpha) projection matrices guaranteed to contain a projection matrix that\hat{\Pi}  satisfies certifiable anti-concentration.
After revision:  It outputs a list of O(1/\alpha)  that\hat{\Pi} satisfies certifiable anti-concentration.