Text this: ON NP ∩ coNP PROOF COMPLEXITY GENERATORS.