Adds proof that a collapsein NNC(polylog) implies NP in subexponential time.