19:2819:28, 12 December 2020diffhist−59
Co-NP
→top: the formulation seems redundant to me, with "certificate" and "verify" being sufficient. Perhaps it was meant to be extra-helpful, but I first understood it as denying the possibility of yes-instance having yes-certificates, which is false, so it seems confusing more than helpful to me.