P
Initializing...
Bounded strict progress reaches a terminal state · Prove2Me