P
Initializing...
Lemma 1: the majority of all points is optimal among player-symmetric rules · Prove2Me