Diagonalization is a powerful technique in recursion theory and in computational complexity \cite{For00}. The limits of this technique are not clear. On the one hand, many people argue that conflicting relativizations mean a complexity question cannot be resolved using only diagonalization. On the other hand, it is not clear that ... more >>>