CoNP = {
S
|
S
∈ NP}