P
Initializing...
A sharp mass-three counterexample · Prove2Me