Conjecture on the sharpness of the agreement-number bound for toroidal societies
Sharpness conjecture. The lower bound