Ryan Williams ACC. Which reminds me the other day a student of mine accidentally called coNP, coCP. Yep, turns out CP is a class. So the question is: will P versus NP be resolved before or after all two alphabetic symbol complexity labels are used up?
O brave new quantum world!