P
Initializing...
Maximality forces $|X| \le 3|S|^3$ · Prove2Me