P
Initializing...
Absorbing any extra generator from the distinguished one · Prove2Me