P
Initializing...
Negating a decider preserves polynomial time · Prove2Me