P
Initializing...
Bounded finite ascent reaches a terminal state · Prove2Me