P
Initializing...
Counterexample structure (a) — Three-element congruence classes lift E255 · Prove2Me