CoNP = {S | S ∈ NP}