P
Initializing...
Time-bounded decision is monotone in the time bound · Prove2Me