P
Initializing...
Local good-choice count is at most (k+1)^2 · Prove2Me