P
Initializing...
KappaBound (2⁻¹⁸²) from the machine alone · Prove2Me