Directory results for A Nearly Optimal Oracle for Av... to A necessary and sufficient Con...