P
Initializing...
The jet of the negative-side polynomial at 0 reproduces L · Prove2Me