The law statement at a nonterminal single state, assuming it for all states of smaller rank.

Initializing...

The law statement at a nonterminal single state, assuming it for all states of smaller rank. · Prove2Me