P
Initializing...
The subterm order · Prove2Me