this sparks worldwide uproar akaryoshye ntikariwe mu rw'undi the theorem is named after stephen cook and leonid levin in this case the variable y has been marginalized out