Q: Hvorfor er det slik at du ikke kan verifisere at en løsning ikke er korrekt dersom man kan verifisere at en løsning er korrekt? Kan du ikke bare sjekke om verifikatoren halter i polynom tid eller ikke? A: Nei … poenget er at et dårlig vitne for en ja-instanse ikke sier noe om hvorvidt det *eksisterer* et godt vitne eller ikke. Vi trenger et vitne for at det *ikke* eksisterer et vitne for ja-instansen. Se også [[NP snitt coNP]]. Er det noe interessante problemer i [[coNP]] som *ikke* er i [[NP snitt coNP]]?