P
Initializing...
Freiling's axiom of symmetry $\iff\neg$CH · Prove2Me