P
Initializing...
The law statement at a crossing state, assuming it for all states of smaller rank. · Prove2Me