Text this: On $NP cap coNP$ proof complexity generators