P
Initializing...
The law of the terminal state `S(a; · Prove2Me