P
Initializing...
A finite magma satisfying E677 but violating E255 · Prove2Me