P
Initializing...
Local good-choice count depends only on the membership pattern · Prove2Me